why is linux used for servers